5a9ea0308f79debccbaa90bf92641da4386167a7,source/de/anomic/data/wiki/wikiCode.java,wikiCode,processPreformattedText,#String#,530
Before Change
String preformattedText = "<pre style=\"border:dotted;border-width:thin\">" + line.substring(positionOfOpeningTag + 11);
preformattedText = preformattedText.replaceAll("!pre!", "!pre!!");
//taking care of indented lines
while (line.substring(preindented, positionOfOpeningTag).startsWith(":")) {
preindented++;
openBlockQuoteTags.append(OPEN_BLOCKQUOTE);
}
After Change
String preformattedText = "<pre style=\"border:dotted;border-width:thin\">" + line.substring(positionOfOpeningTag + LEN_WIKI_OPEN_PRE_ESCAPED);
preformattedText = preformattedText.replaceAll("!pre!", "!pre!!");
//taking care of indented lines
while (line.substring(preindented, positionOfOpeningTag).charAt(0) == WIKI_INDENTION) {
preindented++;
openBlockQuoteTags.append(OPEN_BLOCKQUOTE);
}